Formalizing and Modeling the World
ثبت نشده
چکیده
The word information derives from the Latin informare (in + formare), meaning to give form, shape, or character to. Etymologically, it is therefore understood to be the formative principle of something, or to imbue with some specific character or quality. However, for hundreds of years, the word information is used to signify knowledge and aspects of cognition such as meaning, instruction, communication, representation, signs, symbols, etc. This can be clearly appreciated in the Oxford English Dictionary, which defines information as “the action of informing; formation or molding of the mind or character, training, instruction, teaching; communication of instructive knowledge”.
منابع مشابه
Modeling the World
Once we create symbols, we can also hypothesize relationships among the symbols which we can later check for consistency with what we really observe in the World. By creating relationships among the symbols of things we observe in the World, we are in effect formalizing our knowledge of the World. By formalizing we mean the creation of rules, such as verbal arguments and mathematical equations,...
متن کاملFormalizing Web Service and Modeling Web Service-Based System Based on Object Oriented Petri Net
Recently Web Service has become a hot spot. Its main idea is to integrate a group of services to construct new value-added Web Service-based systems, which run on the World-Wide-Web. It’s necessary to get formalizing and modeling techniques and graphic tools for reliable Web Service and its application construction. In this paper, an approach to formalizing Web Service and modeling its applicat...
متن کاملFormalizing UML Semantics
UML (Unified Modeling Language) developed by a group of leading experts in object-oriented methodologies has become the de facto standard object-oriented development methodology in the ware industry. However, many graphical notations in UML only have informal English definitions and thus are error-prone and cannot be formally analyzed. In the past several years, many researchers around the worl...
متن کاملFormalizing Goals and Objectives in Iranian Educational System: A Historical Analysis
Formalizing goals and objectives within any organization is influenced by many socio-historical factors. To identify the trend in which educational goals and objectives within the Iranian educational system have evolved in terms of the approach, pattern, performance, and attending to individual differences, a historical analysis was undertaken. Findings are indicative of four eras: first, the c...
متن کاملFormalizing the Process of Hierarchical Workflow Abstraction Modeling
Workflow modeling is the premise of workflow management. The present paper introduces the general abstraction theory of physical world into workflow modeling to propose a novel method for hierarchical workflow abstraction modeling. Through perceiving the specific workflows running in a particular field, the workflow perceptions are obtained. A formal process is defined to learn from the acquire...
متن کاملFormalizing UML for Rigorous Software Development
Formalizing a modeling technique broaches issues including development of software specification, design, analysis, and synthesis. Software engineering methodologies should be grounded on rigorous principles and not on ad hoc approaches. Our approach is to integrate the recently published industrial standard graphic notation UML (Unified Modeling Language), for object-oriented modeling, and PVS...
متن کامل